Tag: Open circle inequality